____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b
Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―
Tschebyschow-Funktion
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
top
Die Tschebyschow-Funktion, etwa im Englischen auch Chebyshev function oder Γ€hnlich bezeichnet, ist eine von zwei zahlentheoretischen Funktionen, die nach dem russischen Mathematiker Pafnuti Lwowitsch Tschebyschow benannt sind. Sie erhalten Bedeutung durch ihren Zusammenhang mit der PrimzahlzΓ€hlfunktion und dem Primzahlsatz und damit der Riemannschen Zeta-Funktion.
Die erste Tschebyschow-Funktion, ΓΌblicherweise mit ΞΈ ΞΈ {\displaystyle \theta \,} oder Ο Ο {\displaystyle \vartheta } bezeichnet, ist die Summe der Logarithmen der Primzahlen bis x {\displaystyle x} :
Ο Ο ( x ) = β β p β€ β€ x p prim log β‘ β‘ ( p ) {\displaystyle \vartheta (x)=\sum _{p\leq x \atop p{\text{ prim}}}\operatorname {log} (p)}
Die zweite Tschebyschow-Funktion Ο Ο ( x ) {\displaystyle \psi (x)} ist die summierte Funktion der Mangoldt-Funktion:
Ο Ο ( x ) = β β n = 1 x Ξ Ξ ( n ) = β β p k β€ β€ x log β‘ β‘ ( p ) {\displaystyle \psi (x)=\sum _{n=1}^{x}\Lambda (n)=\sum _{p^{k}\leq x}\operatorname {log} (p)}
wobei die Mangoldt-Funktion Ξ Ξ {\displaystyle \Lambda } definiert ist als
Ξ Ξ ( n ) = { log β‘ β‘ ( p ) falls n sich als n = p k darstellen lΓ€sst, wobei p prim, k β β N + 0 sonst {\displaystyle \Lambda (n)={\begin{cases}\log(p)&{\text{falls }}n{\text{ sich als }}n=p^{k}{\text{ darstellen lΓ€sst, wobei }}p{\text{ prim, }}k\in \mathbb {N} ^{+}\\0&{\text{sonst}}\end{cases}}}
Contents
β’ Asymptotik
β’ Referenzen
β’ Weblinks
ββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββββ
Grundlegende Eigenschaften
Erstere Tschebyschow-Funktion lΓ€sst sich auch darstellen als
Ο Ο ( x ) = log β‘ β‘ ( x # # ) , {\displaystyle \vartheta (x)=\log(x_{\#}),}
wobei x # # {\displaystyle x_{\#}} die PrimfakultΓ€t bezeichnet.
Die zweite lΓ€sst sich auch schreiben als der Logarithmus des kleinsten gemeinsamen Vielfachen von 1 bis n {\displaystyle n} :
Ο Ο ( x ) = log β‘ β‘ ( kgV β‘ β‘ ( 1 , 2 , 3 , β¦ β¦ , β β x β β ) ) {\displaystyle \psi (x)=\operatorname {log} (\operatorname {kgV} (1,2,3,\ldots ,\lfloor x\rfloor ))}
Nach Erhard Schmidt gibt es fΓΌr jedes positive reelle k {\displaystyle k} Werte fΓΌr x {\displaystyle x} , sodass
Ο Ο ( x ) β β x < β β k x {\displaystyle \psi (x)-x<-k{\sqrt {x}}}
und
Ο Ο ( x ) β β x > k x {\displaystyle \psi (x)-x>k{\sqrt {x}}}
unendlich oft.
Asymptotik
Es gilt
lim x β β β β x Ο Ο ( x ) = 1 , {\displaystyle \lim _{x\to \infty }{\frac {x}{\vartheta (x)}}=1,}
d. h.
Ο Ο ( n ) βΌ βΌ n . {\displaystyle \vartheta (n)\sim n.}
Ebenso gilt
Ο Ο ( n ) βΌ βΌ n . {\displaystyle \psi (n)\sim n.\,}
Pierre Dusart fand eine Reihe von Schranken fΓΌr die beiden Funktionen:cite-ref-1[1]
Ο Ο ( p k ) β₯ β₯ k ( ln β‘ β‘ k + ln β‘ β‘ ln β‘ β‘ k β β 1 + ln β‘ β‘ ln β‘ β‘ k β β 2,055 3 ln β‘ β‘ k ) , k β₯ β₯ exp β‘ β‘ ( 22 ) {\displaystyle \vartheta (p_{k})\geq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2{,}0553}{\ln k}}\right),\qquad k\geq \exp(22)}
Ο Ο ( p k ) β€ β€ k ( ln β‘ β‘ k + ln β‘ β‘ ln β‘ β‘ k β β 1 + ln β‘ β‘ ln β‘ β‘ k β β 2 ln β‘ β‘ k ) , k β₯ β₯ 198 {\displaystyle \vartheta (p_{k})\leq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2}{\ln k}}\right),\qquad k\geq 198}
Ο Ο ( p k ) β€ β€ k ( ln β‘ β‘ k + ln β‘ β‘ ln β‘ β‘ k β β 1 + ln β‘ β‘ ln β‘ β‘ k β β 2 ln β‘ β‘ k ) + 1 , 43 x , k β₯ β₯ 198 {\displaystyle \psi (p_{k})\leq k\left(\ln k+\ln \ln k-1+{\frac {\ln \ln k-2}{\ln k}}\right)+1{,}43{\sqrt {x}},\qquad k\geq 198}
| Ο Ο ( x ) β β x | β€ β€ 0,006 788 x ln β‘ β‘ x , x β₯ β₯ 10 . 544 . 111 {\displaystyle |\vartheta (x)-x|\leq 0{,}006788\,{\frac {x}{\ln x}},\qquad x\geq 10{.}544{.}111}
| Ο Ο ( x ) β β x | β€ β€ 0,006 409 x ln β‘ β‘ x , x β₯ β₯ exp β‘ β‘ ( 22 ) {\displaystyle |\psi (x)-x|\leq 0{,}006409\,{\frac {x}{\ln x}},\qquad x\geq \exp(22)}
Ο Ο ( x ) β β Ο Ο ( x ) < 0,000 0132 x ln β‘ β‘ x , x β₯ β₯ exp β‘ β‘ ( 30 ) . {\displaystyle \psi (x)-\vartheta (x)<0{,}0000132\,{\frac {x}{\ln x}},\qquad x\geq \exp(30).}
Verwandtschaft der beiden Funktionen
Es gilt
Ο Ο ( x ) = β β p β€ β€ x k log β‘ β‘ p {\displaystyle \psi (x)=\sum _{p\leq x}k\log p}
wobei k {\displaystyle k} ganz und dann durch p k β€ β€ x {\displaystyle p^{k}\leq x} und p k + 1 β₯ β₯ x {\displaystyle p^{k+1}\geq x} eindeutig bestimmt ist.
Ein direkterer Zusammenhang entsteht durch
Ο Ο ( x ) = β β n = 1 β β Ο Ο ( x 1 n ) = β β n = 1 β β log 2 β‘ β‘ ( x ) β β Ο Ο ( x 1 n ) . {\displaystyle \psi (x)=\sum _{n=1}^{\infty }\vartheta \left(x^{\frac {1}{n}}\right)=\sum _{n=1}^{\lfloor \log _{2}(x)\rfloor }\vartheta \left(x^{\frac {1}{n}}\right).}
Man bemerke, dass Ο Ο ( x 1 n ) = 0 {\displaystyle \vartheta \left(x^{\frac {1}{n}}\right)=0} fΓΌr n β₯ β₯ log 2 β‘ β‘ ( x ) . {\displaystyle n\geq \log _{2}(x).}
Die βexakte Formelβ
1895 bewies Hans Karl Friedrich von Mangoldt folgende Formel, die im Englischen auch als βexplicit formulaβ bezeichnet wird:cite-ref-2[2]
Ο Ο ( x ) = x β β β β Ο Ο x Ο Ο Ο Ο β β ln β‘ β‘ ( 2 Ο Ο ) β β 1 2 ln β‘ β‘ ( 1 β β x β β 2 ) {\displaystyle \psi (x)=x-\sum _{\rho }{\frac {x^{\rho }}{\rho }}-\ln(2\pi )-{\frac {1}{2}}\ln \left(1-x^{-2}\right)}
Dabei ist x > 1 {\displaystyle x>1} und nicht prim oder eine Primzahlpotenz und die Summe lΓ€uft ΓΌber alle nichttrivialen Nullstellen Ο Ο {\displaystyle \rho \,} der Riemannschen Zeta-Funktion ΞΆ ΞΆ {\displaystyle \zeta } .
Referenzen
cite-note-11. β Pierre Dusart: Sharper bounds for Ο, ΞΈ, Ο, pk. In: Rapport de recherche nΒ° 1998-06, UniversitΓ© de Limoges. PDF
β’ Eric W. Weisstein: Chebyshev Function. In: MathWorld (englisch).
β’ Mangoldt Summatory Function und Chebyshev Function auf PlanetMath
β’ Harold Davenport, Hugh L. Montgomery: Multiplicative number theory. Springer Verlag 2000, ISBN 0-387-95097-4, ISBN 978-0-387-95097-6. Β§. 17. GBS, eingeschrΓ€nkt
Weblinks